1966, W.W.Tait, "A non-constructive proof of Gentzen's Hauptsatz for second order predicate logic" - Internet Explorer 2.0

1966, W.W.Tait, "A non-constructive proof of Gentzen's Hauptsatz for second order predicate logic"

Tait計算についての論文